[next] [prev] [prev-tail] [tail] [up]

2.2.2 Integrals 101 to 200

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column N.S. in the table below, which stands for normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To help make the table fit, Mathematica was abbreviated to MMA.

Problem 101

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

410 410 2950 0 0 0 0 0 -1

N.S.

1 1.00 7.20 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.272 3.018 0.246 0.000 0.000 0.000 0.000 0.000

Problem 102

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B B B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

141 141 767 361 1867 291 712 268 474

N.S.

1 1.00 5.44 2.56 13.24 2.06 5.05 1.90 3.36

time (sec)

N/A 0.075 0.580 0.549 0.492 0.382 7.387 2.329 6.404

Problem 103

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B B A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

296 296 444 688 795 366 892 487 507

N.S.

1 1.00 1.50 2.32 2.69 1.24 3.01 1.65 1.71

time (sec)

N/A 0.103 0.275 0.618 0.361 0.391 2.828 2.750 6.478

Problem 104

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

375 375 290 881 2027 543 1488 613 984

N.S.

1 1.00 0.77 2.35 5.41 1.45 3.97 1.63 2.62

time (sec)

N/A 0.276 0.620 0.698 0.637 0.418 5.366 3.122 8.104

Problem 105

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F(-1) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

525 525 453 1233 4045 1017 0 0 1505

N.S.

1 1.00 0.86 2.35 7.70 1.94 0.00 0.00 2.87

time (sec)

N/A 0.292 0.882 0.808 1.016 0.423 0.000 0.000 11.558

Problem 106

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F(-1) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

685 685 611 1589 5383 1530 0 0 2155

N.S.

1 1.00 0.89 2.32 7.86 2.23 0.00 0.00 3.15

time (sec)

N/A 0.349 1.174 0.900 1.246 0.452 0.000 0.000 14.311

Problem 107

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F(-1) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

851 851 793 1951 8906 2268 0 0 2500

N.S.

1 1.00 0.93 2.29 10.47 2.67 0.00 0.00 2.94

time (sec)

N/A 0.425 1.700 1.133 2.374 0.502 0.000 0.000 18.950

Problem 108

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F B B F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

223 223 269 0 1109 635 0 3847 1237

N.S.

1 1.00 1.21 0.00 4.97 2.85 0.00 17.25 5.55

time (sec)

N/A 0.132 0.175 0.094 0.315 0.496 0.000 3.505 5.620

Problem 109

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F B B F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

190 190 225 0 733 467 0 2522 663

N.S.

1 1.00 1.18 0.00 3.86 2.46 0.00 13.27 3.49

time (sec)

N/A 0.109 0.125 0.117 0.287 0.431 0.000 4.674 5.024

Problem 110

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F B A F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

149 149 189 0 388 281 0 1277 295

N.S.

1 1.00 1.27 0.00 2.60 1.89 0.00 8.57 1.98

time (sec)

N/A 0.076 0.191 0.069 0.283 0.407 0.000 2.695 4.839

Problem 111

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F A A B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

86 86 74 0 155 152 382 561 134

N.S.

1 1.00 0.86 0.00 1.80 1.77 4.44 6.52 1.56

time (sec)

N/A 0.041 0.028 0.087 0.266 0.376 159.150 2.524 4.339

Problem 112

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F A F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

141 141 172 0 262 0 0 0 -1

N.S.

1 1.00 1.22 0.00 1.86 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.203 0.087 0.204 0.528 0.000 0.000 0.000 0.000

Problem 113

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

150 150 189 0 0 0 0 0 -1

N.S.

1 1.00 1.26 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.141 0.121 0.111 0.000 0.000 0.000 0.000 0.000

Problem 114

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F B B F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

89 89 216 0 578 223 0 95 204

N.S.

1 1.00 2.43 0.00 6.49 2.51 0.00 1.07 2.29

time (sec)

N/A 0.053 0.112 0.116 0.294 0.429 0.000 3.347 5.253

Problem 115

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F B B F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

181 181 196 0 941 435 0 234 374

N.S.

1 1.00 1.08 0.00 5.20 2.40 0.00 1.29 2.07

time (sec)

N/A 0.093 0.295 0.113 0.319 0.398 0.000 4.918 5.276

Problem 116

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F B B F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

281 281 220 0 1394 709 0 388 610

N.S.

1 1.00 0.78 0.00 4.96 2.52 0.00 1.38 2.17

time (sec)

N/A 0.131 0.344 0.118 0.341 0.395 0.000 3.406 5.869

Problem 117

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F B B F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

442 442 441 0 1889 837 0 4589 2555

N.S.

1 1.00 1.00 0.00 4.27 1.89 0.00 10.38 5.78

time (sec)

N/A 0.301 0.265 0.151 0.319 0.560 0.000 5.188 5.915

Problem 118

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F B A F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

352 352 374 0 1269 596 0 2995 1328

N.S.

1 1.00 1.06 0.00 3.61 1.69 0.00 8.51 3.77

time (sec)

N/A 0.234 0.190 0.193 0.296 0.415 0.000 4.331 5.138

Problem 119

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F B A F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

250 250 224 0 696 411 0 1757 661

N.S.

1 1.00 0.90 0.00 2.78 1.64 0.00 7.03 2.64

time (sec)

N/A 0.150 0.140 0.106 0.292 0.457 0.000 4.439 5.149

Problem 120

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F B B F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

124 124 101 0 289 232 0 860 303

N.S.

1 1.00 0.81 0.00 2.33 1.87 0.00 6.94 2.44

time (sec)

N/A 0.052 0.037 0.107 0.272 0.422 0.000 3.109 4.625

Problem 121

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F A F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

289 289 264 0 463 0 0 0 -1

N.S.

1 1.00 0.91 0.00 1.60 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.249 0.132 0.171 0.543 0.000 0.000 0.000 0.000

Problem 122

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F B F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

259 259 233 0 966 0 0 0 -1

N.S.

1 1.00 0.90 0.00 3.73 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.225 0.160 0.177 0.536 0.000 0.000 0.000 0.000

Problem 123

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

242 242 258 0 0 0 0 0 -1

N.S.

1 1.00 1.07 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.219 0.228 0.157 0.000 0.000 0.000 0.000 0.000

Problem 124

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F B B F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

93 93 329 0 1520 304 0 94 421

N.S.

1 1.00 3.54 0.00 16.34 3.27 0.00 1.01 4.53

time (sec)

N/A 0.070 0.221 0.135 0.351 0.411 0.000 5.106 5.622

Problem 125

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F B B F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

189 189 474 0 2223 567 0 222 652

N.S.

1 1.00 2.51 0.00 11.76 3.00 0.00 1.17 3.45

time (sec)

N/A 0.108 0.274 0.182 0.438 0.395 0.000 6.676 6.075

Problem 126

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F B B F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

293 293 357 0 3034 894 0 376 954

N.S.

1 1.00 1.22 0.00 10.35 3.05 0.00 1.28 3.26

time (sec)

N/A 0.150 0.653 0.171 0.501 0.414 0.000 8.140 6.708

Problem 127

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F B B F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

477 477 631 0 2780 1118 0 5436 2500

N.S.

1 1.00 1.32 0.00 5.83 2.34 0.00 11.40 5.24

time (sec)

N/A 0.310 0.403 0.158 0.344 0.678 0.000 5.806 6.558

Problem 128

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F B B F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

387 387 441 0 1890 894 0 3942 2547

N.S.

1 1.00 1.14 0.00 4.88 2.31 0.00 10.19 6.58

time (sec)

N/A 0.252 0.242 0.190 0.325 0.579 0.000 6.483 6.256

Problem 129

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F B B F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

283 283 269 0 1061 603 0 2372 1234

N.S.

1 1.00 0.95 0.00 3.75 2.13 0.00 8.38 4.36

time (sec)

N/A 0.169 0.155 0.119 0.310 0.504 0.000 4.087 5.401

Problem 130

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F B B F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

156 156 124 0 452 355 0 1249 588

N.S.

1 1.00 0.79 0.00 2.90 2.28 0.00 8.01 3.77

time (sec)

N/A 0.069 0.046 0.116 0.274 0.398 0.000 4.289 4.976

Problem 131

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F B F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

373 373 368 0 757 0 0 0 -1

N.S.

1 1.00 0.99 0.00 2.03 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.335 0.191 0.134 0.581 0.000 0.000 0.000 0.000

Problem 132

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F B F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

390 390 394 0 1458 0 0 0 -1

N.S.

1 1.00 1.01 0.00 3.74 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.290 0.277 0.167 0.617 0.000 0.000 0.000 0.000

Problem 133

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F B F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

361 361 331 0 2336 0 0 0 -1

N.S.

1 1.00 0.92 0.00 6.47 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.266 0.280 0.193 0.716 0.000 0.000 0.000 0.000

Problem 134

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

326 326 326 0 0 0 0 0 -1

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.285 0.313 0.168 0.000 0.000 0.000 0.000 0.000

Problem 135

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F B F F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

269 269 370 0 937 0 0 3849 -1

N.S.

1 1.00 1.38 0.00 3.48 0.00 0.00 14.31 -0.00

time (sec)

N/A 0.239 0.198 0.188 0.563 0.000 0.000 188.803 0.000

Problem 136

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F B F F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

211 211 266 0 590 0 0 2524 -1

N.S.

1 1.00 1.26 0.00 2.80 0.00 0.00 11.96 -0.00

time (sec)

N/A 0.175 0.126 0.148 0.559 0.000 0.000 123.828 0.000

Problem 137

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F B F F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

134 134 170 0 289 0 0 1279 -1

N.S.

1 1.00 1.27 0.00 2.16 0.00 0.00 9.54 -0.01

time (sec)

N/A 0.099 0.082 0.200 0.564 0.000 0.000 75.172 0.000

Problem 138

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

80 80 101 0 0 0 0 563 -1

N.S.

1 1.00 1.26 0.00 0.00 0.00 0.00 7.04 -0.01

time (sec)

N/A 0.153 0.023 0.196 0.000 0.000 0.000 52.907 0.000

Problem 139

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F B A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

50 50 219 0 172 59 0 88 76

N.S.

1 1.00 4.38 0.00 3.44 1.18 0.00 1.76 1.52

time (sec)

N/A 0.079 0.079 0.147 0.279 0.389 0.000 2.581 5.720

Problem 140

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F B A F(-1) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

181 181 304 0 425 183 0 0 239

N.S.

1 1.00 1.68 0.00 2.35 1.01 0.00 0.00 1.32

time (sec)

N/A 0.121 0.196 0.188 0.309 0.417 0.000 0.000 6.080

Problem 141

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F B A F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

266 266 434 0 885 441 0 97 573

N.S.

1 1.00 1.63 0.00 3.33 1.66 0.00 0.36 2.15

time (sec)

N/A 0.161 0.248 0.191 0.382 0.395 0.000 98.714 6.337

Problem 142

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F B B F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

389 389 518 0 1458 773 0 236 986

N.S.

1 1.00 1.33 0.00 3.75 1.99 0.00 0.61 2.53

time (sec)

N/A 0.201 0.464 0.177 0.518 0.438 0.000 139.654 7.235

Problem 143

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F B F F(-1) B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

359 359 375 0 1721 0 0 2988 -1

N.S.

1 1.00 1.04 0.00 4.79 0.00 0.00 8.32 -0.00

time (sec)

N/A 0.283 0.302 0.149 0.566 0.000 0.000 269.837 0.000

Problem 144

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F B F F(-1) B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

275 275 252 0 1163 0 0 1838 -1

N.S.

1 1.00 0.92 0.00 4.23 0.00 0.00 6.68 -0.00

time (sec)

N/A 0.213 0.170 0.199 0.549 0.000 0.000 196.843 0.000

Problem 145

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

168 168 183 0 0 0 0 866 -1

N.S.

1 1.00 1.09 0.00 0.00 0.00 0.00 5.15 -0.01

time (sec)

N/A 0.115 0.122 0.107 0.000 0.000 0.000 126.448 0.000

Problem 146

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F A A F(-2) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

102 102 114 0 112 87 0 84 113

N.S.

1 1.00 1.12 0.00 1.10 0.85 0.00 0.82 1.11

time (sec)

N/A 0.031 0.037 0.103 0.263 0.393 0.000 3.471 4.836

Problem 147

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F B A F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

166 166 304 0 385 159 0 180 241

N.S.

1 1.00 1.83 0.00 2.32 0.96 0.00 1.08 1.45

time (sec)

N/A 0.118 0.213 0.187 0.293 0.386 0.000 4.067 4.816

Problem 148

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F B A F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

273 273 342 0 794 365 0 86 432

N.S.

1 1.00 1.25 0.00 2.91 1.34 0.00 0.32 1.58

time (sec)

N/A 0.151 0.304 0.170 0.324 0.387 0.000 95.650 5.461

Problem 149

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F B B F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

380 380 478 0 1623 776 0 222 1016

N.S.

1 1.00 1.26 0.00 4.27 2.04 0.00 0.58 2.67

time (sec)

N/A 0.197 0.491 0.207 0.420 0.412 0.000 124.707 7.381

Problem 150

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F B B F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

477 477 549 0 2426 1200 0 377 1665

N.S.

1 1.00 1.15 0.00 5.09 2.52 0.00 0.79 3.49

time (sec)

N/A 0.205 0.902 0.203 0.521 0.405 0.000 176.548 9.933

Problem 151

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F B F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

382 382 334 0 2731 0 0 0 -1

N.S.

1 1.00 0.87 0.00 7.15 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.277 0.295 0.139 0.742 0.000 0.000 0.000 0.000

Problem 152

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

263 263 259 0 0 0 0 0 -1

N.S.

1 1.00 0.98 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.178 0.233 0.175 0.000 0.000 0.000 0.000 0.000

Problem 153

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F B B F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

89 89 215 0 530 220 0 93 205

N.S.

1 1.00 2.42 0.00 5.96 2.47 0.00 1.04 2.30

time (sec)

N/A 0.046 0.110 0.102 0.312 0.424 0.000 3.633 5.493

Problem 154

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F A A F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

151 151 115 0 235 248 0 181 221

N.S.

1 1.00 0.76 0.00 1.56 1.64 0.00 1.20 1.46

time (sec)

N/A 0.085 0.094 0.107 0.273 0.401 0.000 2.580 4.965

Problem 155

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F B A F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

254 254 434 0 849 435 0 362 573

N.S.

1 1.00 1.71 0.00 3.34 1.71 0.00 1.43 2.26

time (sec)

N/A 0.146 0.248 0.205 0.386 0.377 0.000 3.795 6.652

Problem 156

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F B B F(-1) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

381 381 477 0 1661 845 0 0 1018

N.S.

1 1.00 1.25 0.00 4.36 2.22 0.00 0.00 2.67

time (sec)

N/A 0.175 0.495 0.153 0.547 0.479 0.000 0.000 7.534

Problem 157

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F B B F(-1) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

483 483 561 0 2300 1265 0 0 1341

N.S.

1 1.00 1.16 0.00 4.76 2.62 0.00 0.00 2.78

time (sec)

N/A 0.215 0.812 0.196 0.550 0.410 0.000 0.000 7.930

Problem 158

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F B B F(-1) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

587 587 671 0 3673 1922 0 0 2400

N.S.

1 1.00 1.14 0.00 6.26 3.27 0.00 0.00 4.09

time (sec)

N/A 0.261 1.195 0.203 1.106 0.599 0.000 0.000 10.216

Problem 159

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F B F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

584 584 949 0 3392 0 0 0 -1

N.S.

1 1.00 1.62 0.00 5.81 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.499 0.528 0.190 0.856 0.000 0.000 0.000 0.000

Problem 160

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F B F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

487 487 716 0 2425 0 0 0 -1

N.S.

1 1.00 1.47 0.00 4.98 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.400 0.396 0.183 0.835 0.000 0.000 0.000 0.000

Problem 161

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F B F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

372 372 937 0 1419 0 0 0 -1

N.S.

1 1.00 2.52 0.00 3.81 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.255 0.498 0.083 0.840 0.000 0.000 0.000 0.000

Problem 162

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F B F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

220 220 216 0 768 0 0 0 -1

N.S.

1 1.00 0.98 0.00 3.49 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.157 0.140 0.066 0.794 0.000 0.000 0.000 0.000

Problem 163

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

306 306 742 0 0 0 0 0 -1

N.S.

1 1.00 2.42 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.265 1.173 0.107 0.000 0.000 0.000 0.000 0.000

Problem 164

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

261 261 1556 0 0 0 0 0 -1

N.S.

1 1.00 5.96 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.243 1.922 0.109 0.000 0.000 0.000 0.000 0.000

Problem 165

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F B B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

151 151 801 0 2013 478 0 177 561

N.S.

1 1.00 5.30 0.00 13.33 3.17 0.00 1.17 3.72

time (sec)

N/A 0.092 0.601 0.111 0.414 0.367 0.000 6.454 6.821

Problem 166

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F B B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

307 307 1079 0 3308 948 0 491 993

N.S.

1 1.00 3.51 0.00 10.78 3.09 0.00 1.60 3.23

time (sec)

N/A 0.185 0.733 0.110 0.542 0.515 0.000 6.959 7.857

Problem 167

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F B B F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

475 475 1392 0 4834 1529 0 841 1794

N.S.

1 1.00 2.93 0.00 10.18 3.22 0.00 1.77 3.78

time (sec)

N/A 0.259 0.886 0.113 0.726 0.556 0.000 7.547 9.741

Problem 168

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F B F F(-1) F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

766 766 1634 0 4882 0 0 0 -1

N.S.

1 1.00 2.13 0.00 6.37 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.715 0.956 0.320 0.848 0.000 0.000 0.000 0.000

Problem 169

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F B F F(-1) F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

819 819 1254 0 3499 0 0 0 -1

N.S.

1 1.00 1.53 0.00 4.27 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.667 0.656 0.265 0.806 0.000 0.000 0.000 0.000

Problem 170

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F B F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

635 635 713 0 2166 0 0 0 -1

N.S.

1 1.00 1.12 0.00 3.41 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.442 0.421 0.133 0.804 0.000 0.000 0.000 0.000

Problem 171

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F B F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

361 361 303 0 1207 0 0 0 -1

N.S.

1 1.00 0.84 0.00 3.34 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.254 0.161 0.121 0.742 0.000 0.000 0.000 0.000

Problem 172

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

572 572 1659 0 0 0 0 0 -1

N.S.

1 1.00 2.90 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.518 1.972 0.184 0.000 0.000 0.000 0.000 0.000

Problem 173

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

472 472 2834 0 0 0 0 0 -1

N.S.

1 1.00 6.00 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.374 8.400 0.160 0.000 0.000 0.000 0.000 0.000

Problem 174

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

417 417 4766 0 0 0 0 0 -1

N.S.

1 1.00 11.43 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.371 10.857 0.211 0.000 0.000 0.000 0.000 0.000

Problem 175

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F B B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

157 157 1415 0 5552 646 0 176 1195

N.S.

1 1.00 9.01 0.00 35.36 4.11 0.00 1.12 7.61

time (sec)

N/A 0.119 1.443 0.144 0.750 0.396 0.000 9.953 7.477

Problem 176

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F B B F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

319 319 1860 0 8051 1219 0 461 1934

N.S.

1 1.00 5.83 0.00 25.24 3.82 0.00 1.45 6.06

time (sec)

N/A 0.211 1.848 0.201 1.059 0.449 0.000 10.645 9.424

Problem 177

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F B B F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

493 493 2320 0 10900 1902 0 811 2500

N.S.

1 1.00 4.71 0.00 22.11 3.86 0.00 1.65 5.07

time (sec)

N/A 0.296 2.388 0.204 1.430 0.452 0.000 13.694 11.154

Problem 178

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F B F F(-1) F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

1172 1172 2448 0 6587 0 0 0 -1

N.S.

1 1.00 2.09 0.00 5.62 0.00 0.00 0.00 -0.00

time (sec)

N/A 1.051 2.205 0.367 1.020 0.000 0.000 0.000 0.000

Problem 179

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F B F F(-1) F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

976 976 1627 0 4917 0 0 0 -1

N.S.

1 1.00 1.67 0.00 5.04 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.904 0.928 0.274 0.896 0.000 0.000 0.000 0.000

Problem 180

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F B F F(-1) F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

786 786 945 0 3094 0 0 0 -1

N.S.

1 1.00 1.20 0.00 3.94 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.588 0.499 0.191 0.854 0.000 0.000 0.000 0.000

Problem 181

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F B F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

454 454 409 0 1764 0 0 0 -1

N.S.

1 1.00 0.90 0.00 3.89 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.358 0.223 0.159 0.779 0.000 0.000 0.000 0.000

Problem 182

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

762 762 2949 0 0 0 0 0 -1

N.S.

1 1.00 3.87 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.766 3.166 0.172 0.000 0.000 0.000 0.000 0.000

Problem 183

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

739 739 4150 0 0 0 0 0 -1

N.S.

1 1.00 5.62 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.540 16.518 0.180 0.000 0.000 0.000 0.000 0.000

Problem 184

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F F(-1) F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

644 644 6226 0 0 0 0 0 -1

N.S.

1 1.00 9.67 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.448 21.168 0.166 0.000 0.000 0.000 0.000 0.000

Problem 185

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F F F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

561 561 8775 0 0 0 0 0 -1

N.S.

1 1.00 15.64 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.496 7.400 0.203 0.000 0.000 0.000 0.000 0.000

Problem 186

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

768 768 3265 0 0 0 0 0 -1

N.S.

1 1.00 4.25 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.658 2.771 0.162 0.000 0.000 0.000 0.000 0.000

Problem 187

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

573 573 1741 0 0 0 0 0 -1

N.S.

1 1.00 3.04 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.448 1.019 0.140 0.000 0.000 0.000 0.000 0.000

Problem 188

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

303 303 802 0 0 0 0 0 -1

N.S.

1 1.00 2.65 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.233 0.393 0.080 0.000 0.000 0.000 0.000 0.000

Problem 189

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

137 137 306 0 0 0 0 0 -1

N.S.

1 1.00 2.23 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.085 0.118 0.093 0.000 0.000 0.000 0.000 0.000

Problem 190

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F B B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

50 50 90 0 403 100 0 157 122

N.S.

1 1.00 1.80 0.00 8.06 2.00 0.00 3.14 2.44

time (sec)

N/A 0.110 0.136 0.207 0.302 0.365 0.000 4.288 5.680

Problem 191

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F B A F(-1) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

199 199 793 0 1028 366 0 0 361

N.S.

1 1.00 3.98 0.00 5.17 1.84 0.00 0.00 1.81

time (sec)

N/A 0.199 0.447 0.190 0.446 0.404 0.000 0.000 5.852

Problem 192

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F B B F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

369 369 975 0 2126 879 0 179 1011

N.S.

1 1.00 2.64 0.00 5.76 2.38 0.00 0.49 2.74

time (sec)

N/A 0.279 0.797 0.182 0.664 0.420 0.000 264.583 8.489

Problem 193

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F B B F(-1) F(-1) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

543 543 1295 0 3415 1548 0 0 1921

N.S.

1 1.00 2.38 0.00 6.29 2.85 0.00 0.00 3.54

time (sec)

N/A 0.347 1.120 0.158 0.970 0.492 0.000 0.000 10.342

Problem 194

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

770 770 3540 0 0 0 0 0 -1

N.S.

1 1.00 4.60 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.503 6.020 0.190 0.000 0.000 0.000 0.000 0.000

Problem 195

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

500 500 2196 0 0 0 0 0 -1

N.S.

1 1.00 4.39 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.337 3.004 0.167 0.000 0.000 0.000 0.000 0.000

Problem 196

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

282 282 1261 0 0 0 0 0 -1

N.S.

1 1.00 4.47 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.191 1.206 0.115 0.000 0.000 0.000 0.000 0.000

Problem 197

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F B A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

163 163 331 0 376 206 0 156 237

N.S.

1 1.00 2.03 0.00 2.31 1.26 0.00 0.96 1.45

time (sec)

N/A 0.055 0.294 0.103 0.311 0.373 0.000 4.632 6.268

Problem 198

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F B A F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

231 231 789 0 928 326 0 314 365

N.S.

1 1.00 3.42 0.00 4.02 1.41 0.00 1.36 1.58

time (sec)

N/A 0.171 0.523 0.184 0.358 0.458 0.000 4.732 5.798

Problem 199

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F B A F(-1) A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

392 392 870 0 1854 740 0 164 -1

N.S.

1 1.00 2.22 0.00 4.73 1.89 0.00 0.42 -0.00

time (sec)

N/A 0.258 0.789 0.203 0.428 0.412 0.000 257.140 0.000

Problem 200

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F B B F(-1) F(-1) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

560 560 1340 0 3950 1520 0 0 1784

N.S.

1 1.00 2.39 0.00 7.05 2.71 0.00 0.00 3.19

time (sec)

N/A 0.328 1.171 0.193 0.719 0.488 0.000 0.000 10.278

[next] [prev] [prev-tail] [front] [up]